Temporal Control in Real-time Systems: Languages and Systems
نویسندگان
چکیده
Temporal control is an important concept for real-time systems, and several systems and languages provide means for setting temporal constrains on the program. However, the way temporal constraints are placed on the program, the granularity, and the supported kinds of temporal constraints differ from system to system. This chapter provides an introduction to temporal control in real-time systems on the basis of temporal constraints. First, it introduces the notion and nature of a temporal constraint and presents a generic model of the task life cycle. Second, it discusses six different systems and languages with temporal control by adapting the generic model to the individual system and by presenting a short example of a stopwatch task. Finally and third, a summary and discussion of the differences among these systems conclude the chapter.
منابع مشابه
Control of Multivariable Systems Based on Emotional Temporal Difference Learning Controller
One of the most important issues that we face in controlling delayed systems and non-minimum phase systems is to fulfill objective orientations simultaneously and in the best way possible. In this paper proposing a new method, an objective orientation is presented for controlling multi-objective systems. The principles of this method is based an emotional temporal difference learning, and has a...
متن کاملMarkovian Delay Prediction-Based Control of Networked Systems
A new Markov-based method for real time prediction of network transmission time delays is introduced. The method considers a Multi-Layer Perceptron (MLP) neural model for the transmission network, where the number of neurons in the input layer is minimized so that the required calculations are reduced and the method can be implemented in the real-time. For this purpose, the Markov process order...
متن کاملPotentials of Evolving Linear Models in Tracking Control Design for Nonlinear Variable Structure Systems
Evolving models have found applications in many real world systems. In this paper, potentials of the Evolving Linear Models (ELMs) in tracking control design for nonlinear variable structure systems are introduced. At first, an ELM is introduced as a dynamic single input, single output (SISO) linear model whose parameters as well as dynamic orders of input and output signals can change through ...
متن کاملLanguages and methods for specifying real-time systems
The specification of complex systems, such as software, requires welldefined languages and methods. In the case of real-time systems, where temporal correctness must be achieved in addition to functional, descriptions of time dependant behaviour must be expressable within the specification language. This report presents a selection of languages and methods that are used to specify real-time sys...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006